| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 567781 | ||
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 567408 | ||
| Algorithmic Model Theory I | Fach-/Modulprüfung | 9 | 564770 | ||
| Compiler Construction | Fach-/Modulprüfung | 6 | 564732 | ||
| Discrete and Combinatorial Optimization | Fach-/Modulprüfung | 9 | 566304 | Di 18.08.2026 12:00-14:00 Aula 2 (2352|021) Mi 30.09.2026 09:00-11:00 AOC (2020|131) | |
| Übung | 563775 | Do 12:30-14:00 H07 (1385|104) (×12) | |||
| Vorlesung | 563774 | Di 10:30-12:00 H06 (1385|004) (×13) Do 10:30-12:00 H07 (1385|104) (×12) | |||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 565729 | ||
| Efficient Algorithms | Fach-/Modulprüfung | 6 | 564517 | Di 28.07.2026 14:30-16:00 Grüner Hörsaal AM (Gr) (1420|001) Di 01.09.2026 09:00-10:30 H06 (1385|004) | |
| Tutorium | 574214 | Mo 12:30-14:00 5052 (2356|052) (×11) Mi 10:30-12:00 5052 (2356|052) (×11) | |||
| Vorlesung | 574213 | Mo 10:30-12:00 AH I (2350|028) (×11) Mo 10:30-12:00 AH III (2350|314.1) (×1) Mi 14:30-16:00 AH III (2350|314.1) (×1) Mi 14:30-16:00 AH VI (2356|051) (×9) | |||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 566450 | Mi 19.08.2026 14:30-16:30 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Do 17.09.2026 12:30-14:30 Großer Hörsaal AM (1420|210) TEMP2 (1515|002) | |
| Übung | 575145 | Mi 14:30-16:00 AH V (2356|050) (×10) Mi 16:30-18:00 5052 (2356|052) (×1) Do 08:30-10:00 AH I (2350|028) (×9) Do 16:30-18:00 AH I (2350|028) (×9) Fr 14:30-16:00 AH II (2350|111) (×9) Fr 14:30-16:00 PPS H2 (2315|001) (×1) | |||
| Vorlesung | 575146 | Mo 12:30-14:00 AH II (2350|111) (×10) Di 16:30-18:00 AH I (2350|028) (×10) Fr 14:30-16:00 AH II (2350|111) (×1) | |||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 567423 | ||
| Introduction to Quantum Computing | Fach-/Modulprüfung | 6 | 565987 | Do 20.08.2026 12:00-13:30 Sparkassenforum (nur ePruefungen) (1040|U234) ZuseLab C3 (2315|211) Di 15.09.2026 09:00-10:30 P1 (3210|108) P4 (3210|142) | |
| Übung | 562508 | Fr 10:30-12:00 Grüner Hörsaal AM (Gr) (1420|001) (×12) | |||
| Vorlesung | 562555 | Di 14:30-16:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×13) Do 12:30-14:00 TEMP2 (1515|002) (×12) | |||
| Machine Learning with Graphs: Foundations and Applications | Fach-/Modulprüfung | 6 | 566798 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 567418 | ||
| Modeling and analysis of hybrid systems | Fach-/Modulprüfung | 6 | 567419 |